"Farn Wang" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004: proceedings

Farn Wang

17.65 Mb

#2

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Farn Wang

9.02 Mb

#3

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Farn Wang

7.79 Mb